-
Notifications
You must be signed in to change notification settings - Fork 69
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Added hevm.sol #21
base: master
Are you sure you want to change the base?
Added hevm.sol #21
Conversation
Thanks! The reason we haven't done this to date is that since However, once dapphub/dapptools#719 lands, this shouldn't be nearly as much of an issue, and I would be happy to add the interface to I do have a few requests however:
|
Awesome will add them soon. |
Added hevm variable
Just committed the suggested changes. And tested them in a local repo 😉 |
@d-xo would having an hevm contract as a public state var for every test mess with the invariant targeting? Might force everyone to use an targetContracts method |
Test contracts are excluded by default from invariant tests so I think we should be fine. |
But Hevm isn't a test contract? |
I mean its not really even a real contract but just want to make sure it being exported as a state var won't cause it to be picked up by the invariant fuzzer. Does the calling the hevm address with |
oh hehe, whoops I was sleepy this morning 🤦♀️. We also ignore contracts that have no code so |
This allow to simply import the hevm abstract contract in the test contracts to easily create an Instance a use some of the cheats to improve testing. Usage: